Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·16h
⚛️Quantum Algorithms
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·10h
💻Local LLMs
Flag this post
OpenMMReasoner: Pushing the Frontiers for Multimodal Reasoning with an Open and General Recipe
arxiv.org·2d
🧮SMT Solvers
Flag this post
Show HN: Onlymaps, a Python Micro-ORM
🧩SQLite Extensions
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
The Machine Learning Roadmap
🎵Audio ML
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
⚡Proof Automation
Flag this post
Loading...Loading more...